(parsing options): Simplify sed command to delete -'s.

diff --git a/configure1.in b/configure1.in
index 640d5264918045bea06aa961579bb0e258ba8875..3f3e53c5d8bbf9152dc0f5277c114258565aead0 100755 (executable)
--- a/configure1.in
+++ b/configure1.in
@@ -166,7 +166,7 @@ while [ $# != 0 ]; do
           ## If FOO is a boolean argument, --FOO is equivalent to
           ## --FOO=yes.  Otherwise, the value comes from the next
           ## argument - see below.
-         opt=`echo ${arg} | sed 's:^-*\(.*\)$:\1:'`
+         opt=`echo ${arg} | sed 's:^-*::'`
           val="yes"
           valomitted=yes
         ;;